Pointer analysis - PDFSEARCH.IO - Document Search Engine

Pointer analysis
Results: 174

#	Item
11	Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ † Add to Reading List Source URL: www.cacs.louisiana.edu Language: English - Date: 2009-11-13 12:16:34 Symbol Abstract interpretation Determinacy Pointer Stack Data-flow analysis Low-level programming language Formal languages
12	COMP 621 Analyses and Transformations - Assignment # 3 Interprocedural Analysis, Points-to Analyses and Special Topics Due Date: December 7th, 2015 1 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2015-11-16 15:05:20 Data types Source code Subroutines Const C Object lifetime Function pointer
13	Value Analysis Frama-C’s value analysis plug-in AluminiumPascal Cuoq and Boris Yakobowski with Matthieu Lemerre, André Maroneze, Valentin Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Subroutines Frama-C Data types Abstract interpretation Parameter Pointer Expected value Constant
14	Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level Add to Reading List Source URL: faculty.uoit.ca Language: English - Date: 2012-07-17 10:09:04 Programming language implementation Software optimization Assembly language Self-modifying code Low-level programming language Instrumentation Subroutine Pointer
15	Lecture 10: Processing Instructions William Gropp www.cs.illinois.edu/~wgropp More on the CPU Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:22:16 Procedural programming languages Data types Compiler construction C++ Aliasing Program analysis Fortran Pointer Array data type ALGOL 68 C++ classes Infinite loop
16	Binary Analysis for Measurement and Attribution of Program Performance Nathan R. Tallent John M. Mellor-Crummey Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:31:57 Subroutines Call stack Stack Pointer Optimizing compiler Tail call Inline expansion Profiling Function prologue Fortran Call graph C dynamic memory allocation
17	GASP: A Performance Analysis Tool Interface for Global Address Space Programming Models Lawrence Berkeley National Lab Tech Report LBNLAdam Leko1 , Dan Bonachea2 , Hung-Hsun Su1 , Alan D. George1 1 Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2010-11-08 16:38:46 C++ Data types C Object-oriented programming languages Subroutines XC Write Callback Const Pointer C++ classes D
18	FINDING ERROR-PROPAGATION BUGS IN LARGE SOFTWARE SYSTEMS USING STATIC ANALYSIS by Cindy Rubio González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2014-11-10 23:12:58 Computer errors Pointer Error message Errno.h Software bug Error Thank You
19	Pick Your Contexts Well: Understanding Object-Sensitivity The Making of a Precise and Scalable Pointer Analysis Yannis Smaragdakis Department of Computer Science, University of Massachusetts, Amherst, MA 01003, USA Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2011-01-05 21:04:04
20	Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis Ding Ye, Yulei Sui, Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering Click to ed Add to Reading List Source URL: cgo.org Language: English - Date: 2014-03-05 20:23:50 Data types Procedural programming languages C++ Object-oriented programming languages Theory of computation Undefined value Const Valgrind Undefined Reference ALGOL 68 Pointer